#ifndef KALLOC_H
#define KALLOC_H
#include "types.h"
void kinit(void);
void kfree(void *pa);
void* kalloc(void);
void* kalloc_pages(int n);  // 扩展功能：连续页分配
uint64_t get_free_page_count(void); 
uint64_t get_total_page_count(void);  // 内存统计
#endif
